Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Basic Category Theory for Computer Scientists
pocket,
1991,
Engelsk,
ISBN 9780262660716
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, …
The Formal Semantics of Programming Languages
pocket,
1993,
Engelsk,
ISBN 9780262731034
Provides the basic mathematical techniques necessary for those who are beginning a study of semantics and logics of programming languages. Although the treatment is elementary, …
Dynamic Logic
pocket,
2000,
Engelsk,
ISBN 9780262527668
This book provides the first comprehensive introduction to Dynamic Logic.Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage …